Automated Reasoning in Differential Geometry and Mechanics Using Characteristic Method
نویسندگان
چکیده
This paper reports the study of properties of the curve pairs of the Bertrand types using our automated reasoning program based on Wu’s method of mechanical theorem proving for differential geometry. A complete list of results about Bertrand curves in metric and affine spaces is derived mechanically. The list includes most of the known results of various Bertrand curves. We also derive some new results about Bertrand curves.
منابع مشابه
Automated Reasoning in Differential Geometry and Mechanics Using the Characteristic Set Method1 Part II. Mechanical Theorem Proving
We clarify the formulation problem of mechanical theorem proving in differential geometry and mechanics and propose two formulations. We present complete methods of mechanical theorem proving for the two formulations. We also introduce predicates and a language to translate geometry statements into differential polynomial equations. A program based on our methods has proved more than 100 nontri...
متن کاملAutomated Reasoning in Differential Geometry and Mechanics Using Characteristic Method1 III. Mechanical Formula Derivation
In this paper, methods of mechanical deriving of formulas from a set of differential polynomial equations and a set of differential polynomial inequations are presented. The methods have been used successfully to many problems in space curve theory and mechanics. In particular, a mechanical derivation of Newton’s gravitational law from Kepler’s laws has been given without knowing Newton’s laws ...
متن کاملA novel modification of decouple scaled boundary finite element method in fracture mechanics problems
In fracture mechanics and failure analysis, cracked media energy and consequently stress intensity factors (SIFs) play a crucial and significant role. Based on linear elastic fracture mechanics (LEFM), the SIFs and energy of cracked media may be estimated. This study presents the novel modification of decoupled scaled boundary finite element method (DSBFEM) to model cracked media. In this metho...
متن کاملVibration Analysis of Functionally Graded Spinning Cylindrical Shells Using Higher Order Shear Deformation Theory
In this paper the vibration of a spinning cylindrical shell made of functional graded material is investigated. After a brief introduction of FG materials, by employing higher order theory for shell deformation, constitutive relationships are derived. Next, governing differential equation of spinning cylindrical shell is obtained through utilizing energy method and Hamilton’s principle. Making ...
متن کاملA note about Euler's inequality and automated reasoning with dynamic geometry
Using implicit loci in GeoGebra Euler’s R ≥ 2r inequality can be investigated in a novel way. Some unavoidable side effects of the implicit locus computation introduce unexpected algebraic curves. By using a mixture of symbolic and numerical methods a possible approach is sketched up to investigate the situation.
متن کامل